Generalised Whitehead product

#	Item
61	UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:13 Bisimulation Logic in computer science Theoretical computer science Substitution Generalised Whitehead product
62	Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:04 Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical analysis Measure theory Generalised Whitehead product Indexed grammar
63	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:38 Logic Mathematics Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Denotational semantics Structure Symbol Generalised Whitehead product